First-order predicate calculus
[計] 一階謂詞演算
?? 詞語組成解析
first
[f?st]
n. 第一，最初;頭等;一號，;[樂]高音部;
adv. 最早，最初;首次;寧愿;優(yōu)先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['?:d?]
n. 命令;秩序;規(guī)則，制度;次序;
vt. 命令;訂購;整理;
vi. 下訂單;
predicate
['predikit]
vt. 斷言，斷定;宣布，宣講;使基于;
vi. 斷言，斷定;
n. 謂語;述語;
adj. 謂語的;述語的;
calculus
['k?lkj?l?s]
n. [醫(yī)]結(jié)石，石，積石，牙垢;[數(shù)]運算，演算，微積分（學(xué)）;
ule,ulus 后綴;表”小,少”#詞根助記：calc石頭(古時候用石頭來計算)##calc 石灰,石頭#詞根助記：calc石頭(古時候用石頭來計算)
??? 情景例句
Dad works hard, and he works late.
爸爸工作忙， 而且忙到很晚。
This is a record player.
這是一臺電唱機。
The busmen have stated that the strike will continue until general agreement is reached about pay and working conditions.
司機們聲稱此次罷工將一直持續(xù)到就工資和工作條件問題達成全面協(xié)議的時候為止。